/* TODO (Paul#1#): Port stm32f072 timer */

#include "mb.h"

BOOL
xMBPortTimersInit( USHORT usTim1Timerout50us )
{

    return TRUE;
}

void
vMBPortTimerClose( void )
{
}

void
vMBPortTimersEnable(  )
{
}

void
vMBPortTimersDisable(  )
{
}

void
vMBPortTimersDelay( USHORT usTimeOutMS )
{
}
/*
void
TCX_IRQHANDLER( void )
{
    uint32_t        xTCX_IMRX = TCX->TC_CHANNEL[TCCHANNEL].TC_IMR;
    uint32_t        xTCX_SRX = TCX->TC_CHANNEL[TCCHANNEL].TC_SR;
    uint32_t        uiSRMasked = xTCX_SRX & xTCX_IMRX;
    BOOL            bTaskWoken = FALSE;

    vMBPortSetWithinException( TRUE );

    if( ( uiSRMasked & TC_SRX_CPAS ) > 0 )
    {
#if MB_TIMER_DEBUG == 1
        PIO_Clear( &xTimerDebugPins[0] );
#endif
        ( void )pxMBPortCBTimerExpired(  );
    }
    vMBPortSetWithinException( FALSE );

    portEND_SWITCHING_ISR( bTaskWoken ? pdTRUE : pdFALSE );
}
*/
